翻訳と辞書 Words near each other ・ Gary Summers ・ Gary Sundgren ・ Gary Sunshine ・ Gary Suter ・ Gary Sutherland ・ Gary Sutton ・ Gary Svee ・ Gary Swann ・ Gary Swart ・ Gary Sweet ・ Gary Sy ・ Gary Sykes ・ Gary Sánchez ・ Gary T. Dilweg ・ Gary T. K. Ng ・ Gary T. Leavens ・ Gary T. Marx ・ Gary T. Smith ・ Gary Tabor ・ Gary Talbot ・ Gary Talley ・ Gary Tallon ・ Gary Talpas ・ Gary Tanin ・ Gary Taphouse ・ Gary Tarn ・ Gary Taubes ・ Gary Tauchen ・ Gary Tavars ・ Gary Taxali Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Gary T. Leavens ： ウィキペディア英語版 Gary T. Leavens Gary T. Leavens〔Gary T. Leavens's Home Page: http://www.eecs.ucf.edu/~leavens/〕 is a professor of computer science at the School of Electrical Engineering and Computer Science, University of Central Florida in United States. His best-known work is on behavioral interface specification languages (BISLs) such as Larch/Smalltalk, Larch/C++, and JML. From 1989 until 2007, he was a professor of Computer Science at Iowa State University. He is also the Program Chair for 2009 OOPSLA. ==References== 〔 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Gary T. Leavens」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.